<div>
  Specify a local directory (relative to <a href="ws" target="_blank">the workspace root</a>)
  where the Git repository will be checked out. If left empty, the workspace root itself
  will be used.
</div>
